natural deduction

[ˈnætʃərəl dɪˈdʌkʃən]
n. 自然演绎
[网络] 自然演绎法；自然推理

热门查询

footage　　n. 英尺长度；连续镜头；以尺计算长度
unwonted　　adj. 不习惯的；不寻常的；少有的
subject　　n. 主题；科目；[语] 主语；国民 adj. 服从的；易患…的；受制于…的 vt. 使…隶属；使屈从于…
straight　　n. 直；直线；直男，直女，异性恋者 adj. 直的；连续的；笔直的；正直的；整齐的；异性恋的 adv. 直接地；不断地；立即；坦率地 n. (Straight)人名；(英)斯特雷特
billowy　　adj. 汹涌的；巨浪似的
xx　　abbr. 血型（xue xing，汉语拼音）
deux　　n. 飘零双燕；两个世界（电影名）
sternum　　n. [解剖] 胸骨；[昆] 胸板
petrel　　n. [鸟] 海燕
knock　　vi. 敲；打；敲击 vt. 敲；打；敲击；批评 n. 敲；敲打；爆震声
urbanization　　n. 都市化；文雅化
holy　　n. 神圣的东西 adj. 圣洁的，神圣的；至善的（俚）太棒了 n. (Holy)人名；(英、德、匈)霍利
Kiefer　　[人名] 基弗
cami　　n. (Cami)人名；(法)卡米 abbr. 计算机辅助报文输入（Computer Assisted Message Inputting）；非洲工业部长会议（Conference of African Minister Industry）
congenitally　　adv. 先天地；天生地
extreme　　n. 极端；末端；最大程度；极端的事物 adj. 极端的；极度的；偏激的；尽头的
eliot　　n. 艾略特（姓氏）
batten　　n. 板条；曲尺；扣板；小方材 n. (Batten)人名；(日)拔天(名)；(英)巴滕 vt. 在……钉扣板；养肥；装条板 vi. 长胖；贪吃
medicare　　n. （美国）国家老年人医疗保险制度
bream　　n. 鲤科鱼；欧鳊属淡水鱼；用加热和刮擦的方法清扫船底 vt. 打扫 n. (Bream)人名；(英)布里姆